Advanced formal verification

Författare
(Edited by Rolf Drechsler.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Kluwer Academic cop. 2004 USA, Boston, Mass, London xxv, 248 sidor.
Kluwer Academic Publishers c2004 Massachusetts, Boston xxv, 249 sidor. ill. 25 cm.